∂04-DEC-74  1412		1,MG
 
 
 *********DISCUSSIONS ON REASONING ABOUT PROGRAMS*********
 
 Would you be interested in getting together with other people
 in the Palo Alto area to discuss the problems involved in reasoning about
 programs?
 
 What might be nice is if those interested could meet every now and then
 (say once every two weeks) to talk about current plans, difficulties etc.
 in an informal and sympathetic atmosphere.
 
 To get things started I've booked the seminar room in the Stanford A.I. lab
 on wednesday 11 dec. at 2.30 pm. I thought that at the first meeting
 everyone could describe briefly what they were currently doing and hoping to do.
 Then we could decide whether it was worthwhile to have further meetings and if 
 so fix up details of where, when etc.
 
 Wednesday 11 dec. at 2.30 was chosen at random and can be changed.
 contact MG%SU-AI.
 
 Mike Gordon